在圖論領域中,一個 樹 是秩序的建築化體現。與可能存在多條路徑通向同一目的地的混亂網絡不同,樹結構為任意兩點之間提供唯一且單一的路徑。這種結構上的限制並非束縛,而是層級系統的根本——從希臘神話中的祖先譜系,到現代操作系統的目錄結構皆是如此。
1. 樹的結構解析
在層級關係出現之前,我們有 自由樹。其定義極具簡潔之美:
定義 9.1.1
一個(自由)樹 $T$ 是一個簡單圖,其中對於任意兩個頂點 $v$ 與 $w$,存在一條 唯一的簡單路徑 從 $v$ 到 $w$。這意味著該圖既滿足 連通 又滿足 無環 (無環)。
當我們將某一特定頂點指定為「起點」時,便產生了 根樹。此轉變引入了空間方向性,關係由各點與根的距離及方向所定義。
層級詞彙表
在一棵以 $v_0$ 為根的樹中,考慮簡單路徑 $(v_0, v_1, \dots, v_n)$:
- 父節點: $v_{n-1}$ 是 $v_n$ 的父節點。
- 子節點: $v_n$ 是 $v_{n-1}$ 的子節點。
- 兄弟姐妹: 擁有相同父節點的頂點。
- 祖先: 從根到 $v_n$ 的路徑上所有頂點(某些情境下不包含 $v_n$ 本身)。
- 後代: 以 $v$ 為祖先的所有頂點。
結構指標
- 層級: 從根到某個頂點的唯一路徑長度。根本身位於 第 0 層。
- 高度: 樹中存在的最大層級數。
- 葉節點(終端節點): 沒有子節點的頂點——分支的末端。
- 內部(分支)節點: 至少有一個子節點的頂點。
🎯 核心概念:子樹
一個 子樹 是由某個頂點及其所有後代組成的樹的子集。在檔案系統中,這對應一個資料夾及其內部的所有檔案/子資料夾。在圖 9.2.1 中, 克羅諾斯 (宙斯、波塞冬、哈得斯、阿瑞斯)是 烏拉諾斯。
2. 現實世界的應用
樹不僅是數學上的抽象概念,更是組織架構的基石:
- 電腦檔案系統: 'C:' 驅動器是根;資料夾是內部節點;檔案是葉節點。
- 行政階層圖: 執行長是根;經理是內部節點;一般貢獻者是葉節點。
- 決策框架: 解決類似 瞬間瘋狂 或分析 n-立方體平面性 通常涉及在類似樹狀的狀態空間中進行導航。